(eq (not (not (not (not (not t))))) nil)
